:-style_check(-singleton),style_check(-no_effect),ensure_loaded("core3").
% write
io_write(Xx) :- write(Xx).
% writeln
io_writeln(Xx) :- io_write(Xx),io_write("\n").
% read
io_read(Xx) :- read(Xx).
% readFile
io_readFile(Xname,Xs) :- fread_all(_f,Xs).
% open
io_open(Xname,Xmode,Xf) :- fopen(Xname,Xmode,Xf).
% close
io_close(Xf) :- close(Xf).
io71782(Xf,Xx) :- fwrite(Xf,Xx).
io84545(Xf,Xs) :- fread(Xf,Xs).
io40025(Xname,Xmode,Xf) :- fopen_binary(Xname,Xmode,Xf).
io41066(Xf,Xx) :- check(Xx),write8(Xf,Xx).
io53038(Xf,Xn) :- check(Xn),write16(Xf,Xn).
io86790(Xf,Xn) :- check(Xn),write32(Xf,Xn).
io69802(Xname,Xs) :- io_open(Xname,"write",_f),fwrite(_f,Xs),close(_f).
io68025(Xx) :- write_format(Xx).
io24334(Xname,Xs) :- io_open(Xname,"read",_f),fread_all(_f,Xs),io_close(_f).
io(X) :- new(T39861),set_(T39861,"fwrite",io71782,T82662),set_(T82662,"fread",io84545,T79219),set_(T79219,"openBinary",io40025,T74126),set_(T74126,"write8",io41066,T90107),set_(T90107,"write16",io53038,T98064),set_(T98064,"write32",io86790,T71512),set_(T71512,"writeToFile",io69802,T71255),set_(T71255,"writeFormat",io68025,T53977),set_(T53977,"readFile",io24334,T99064),set_(T99064,"write",io_write,T75407),set_(T75407,"read",io_read,T30285),set_(T30285,"writeln",io_writeln,T54626),set_(T54626,"open",io_open,T68297),set_(T68297,"close",io_close,T52488),_t=T52488,X=_t,get_(_t,"readFile",T72485),_T90805=T72485,call(_T90805,"test0.co",_s),writeln_(_s).